<div id="nav">
<ul>
    <li id="nav-home"><a href="/">Home</a></li>
<?php   print '<li id="nav-trainer"><a href="'.$LRV['link_vocable_trainer'].'">'.$LRV['vocable_trainer'].'</a></li>';
	print  '<li id="nav-products"><a href="'.$LRV['link_language_products'].'">'.$LRV['language_products'].'</a></li>';
	print '<li id="nav-account"><a href="'.$LRV['link_settings'].'">'.$LRV['settings'].'</a></li>';
?>
</ul>
</div>                  
<?php
if($_SERVER['SCRIPT_NAME'] <> '/' and $_SERVER['SCRIPT_NAME'] <> '/index.html' and $_SERVER['SCRIPT_NAME'] <> '/testprod/' and $_SERVER['SCRIPT_NAME'] <> '/testprod/index.html' )
{ echo '<div class="line2" ></div>';
echo '<div class="line3" ></div>';
}
?>

